Evolution of the Boolean function manipulation

Solving large systems of Boolean equations is a hard combinatorial problem. It can be greatly facilitated by preliminarily reducing the number of roots in separate equations which, in turn, leads to a reduction in the number of variables, equations and time complexity. This can have a significant effect upon the physical space and connectivity of electronic logic circuits when these are implemented using actual electronic devices or components. In this paper, we review various representation techniques, Boolean function manipulation issues and problems that are used in a practical design environment for digital systems design

Fault localization on power cables using time delay estimation of partial discharge signals

Precise localization of partial discharge (PD) sources on power cables is vital to prevent power line failures that can lead to significant economic losses for electrical suppliers. This study proposes four methods to estimate the time delay of PD signals under electromagnetic interference, including white Gaussian noise (WGN) and discrete sinusoidal interference (DSI), using denoised PD signals with signal-to-noise ratios ranging from 10.6 to -7.02 dB. The maximum peak detection (MPD) and cross-correlation (CC) approaches, as well as two new techniques, interpolation cross-correlation (ICC) and envelope cross-correlation (ECC), are evaluated for their effectiveness in PD source localization. The researchers employ the time difference of arrival (TDoA) algorithm to compute PD location using the double-end PD location algorithm, where the PD location precision serves as an indicator of the accuracy of the time delay estimation methods. The study concludes that CC and ICC are the most suitable methods for estimating the time delay of PD signals in the PD location algorithm, as they exhibit the lowest error rates. These results suggest that CC and ICC can be used effectively for precise PD source localization under electromagnetic interference on power cables

Simplication of boolean function based on simplification rules

This thesis addresses integration of monolithic transformer, which focused on the analysis and modeling of the chip especially at radio frequencies (GHz). The classical network analysis technique is used to derive two-port parameters of the microtransformer. Thus, the equivalent circuit model is obtained through both measurement and simulation with scattering parameters extraction

A Comparison of Double-End Partial Discharge Localization Algorithms in Power Cables

The double-end partial discharge (PD) measurement method is the most common method for measuring and localizing PD sources in power cables. The sensitivity of the PD sensor, the processing speed of the data acquisition unit, and the method of the PD localization algorithm are the three main keys to ensuring the accuracy of the PD source localization on power cables. A new multi-end PD localization algorithm known as segmented correlation trimmed mean (SCTM) has recently demonstrated excellent accuracy in the localization of PD sources on power cables. The algorithm, however, is only applicable to multi-end PD measurement methods. In this paper, the mathematical equation of the SCTM algorithm is customized to match the double-end PD measurement method. A MATLAB simulation was conducted to assess the performance of the SCTM algorithm in the double-end PD measurement method. The maximum peak detection (MPD) algorithm, segmented correlation (SC), and SCTM algorithm were compared as PD localization algorithms. The SC algorithms have shown that identifying the correlation bond between two cues instead of the peak of the PD signal in the MPD algorithm significantly increases the PD localization accuracy. The results show that the SCTM algorithm outperforms the MPD and SC algorithms in terms of accuracy